Forgetting in Answer Set Programming – A Survey

Abstract Forgetting – or variable elimination is an operation that allows the removal, from a knowledge base, of middle variables no longer deemed relevant. In recent years, many different approaches for forgetting in Answer Set Programming have been proposed, form specific operators, classes such commonly following principles and obeying properties. Each approach was developed to address some particular view on forgetting, aimed at set properties desirable view, but comprehensive uniform overview all existing operators missing. this article, we thoroughly examine (classes of) Programming, drawing complete picture landscape these which includes novel results relations between including considerations concrete compute computational complexity. Our goal provide guidance help users choosing operator most adequate their application requirements.